Tool-Supported Timing Analysis of Automotive Embedded Systems
نویسنده
چکیده
منابع مشابه
Timing Analysis of Automotive Embedded Control System using Jitterbug, TrueTime and different Offset configuration using RTaw-Sim
Background: Automotive embedded systems are truly distributed and diverse in terms of their functionality, development and construction. There are several tools and methods available for timing analysis of automotive embedded systems. The Jitterbug simulator is used to minimize the internal timing and the cost function. Embedded controller and network blocks have been introduced in TRUETIME a M...
متن کاملTiming Validation of Automotive Software
Embedded hard real-time systems need reliable guarantees for the satisfaction of their timing constraints. During the last years sophisticated analysis tools for timing analysis at the code-level, controllerlevel and networked system-level have been developed. This trend is exemplified by two tools: AbsInt’s timing analyzer aiT, and and Symtavision’s SymTA/S. aiT determines safe upper bounds fo...
متن کاملIntegration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Chain
We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development tool chain. The integration framework of the tool chain is based on CORBA services, and the data exchanges among different tools are carried out through an analysis interchange format (AIF) expressed in XML schema. Our to...
متن کاملIntegrated Timing Analysis in the Model-Driven Design of Automotive Systems
Automotive electronic systems integrate steadily increasing number of functions. Model-driven development of such systems enables to handle their complexity. With the integration of software-components and their intricate interactions ensuring the non-functional behavior, like timing, becomes a crucial matter. Timing analysis allows the validation of these properties but is mostly only loosely ...
متن کاملTowards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT
A system’s architecture influence on the functions and other properties of embedded systems makes its highlevel analysis and verification very desirable. EAST-ADL is an architecture description language dedicated to automotive embedded system design with focus on structural and functional modeling. The behavioral description is not integrated within the execution semantics, which makes it harde...
متن کامل